En
Mathématiques, les
entiers d'Eisenstein, nommés en l'honneur du
Mathématicien Ferdinand Eisenstein, sont des
nombres complexes de la forme
z = a + b ω
où a et b sont des entiers et
| ω = | 1
––
2 | ( | -1 + i | √
| ––
3
| ) | = e 2 π i / 3 |
est une Racine de l'unité cubique complexe. Les entiers d'Eisenstein forment un réseau triangulaire dans le Plan complexe. Ils contrastent avec les entiers de Gauss qui forment un réseau carré dans le plan complexe. Ils correspondent à un exemple d'entiers quadratiques qui, comme toute les fermetures intégrales d'une Extension finie des nombres rationnels forme un Anneau de Dedekind.
Les entiers d'Eisenstein sont utilisés en arithmétique modulaire pour la résolution d'équations diophantiennes, par exemple dans les démonstrations du dernier théorème de Fermat dans le cas où le Paramètre est égal à 3. L'équation x 2 + 3.y 2 traitée dans l'article Théorème des deux carrés de Fermat possède aussi une méthode de résolution utilisant ces entiers.
Propriétés
Les entiers d'Eisenstein forment un
Anneau commutatif d'
entiers algébriques dans le corps de nombres algébriques
. Ils forment aussi un
Anneau euclidien.
Pour voir que les entiers d'Eisenstein sont des entiers algébriques, notez que chaque z = a + b ω est une racine du Monôme
z 2 - (2a - b)z + (a 2 - ab + b 2 ) .
En particulier, ω satisfait l'équation
ω 2 + ω + 1 = 0 .
Le Groupe des unités dans l'anneau d'Eisenstein est le Groupe cyclique formé par les six racines de l'unité dans le plan complexe. Plus précisément, ce sont les suivantes :
- { ± 1 , ± ω , ± ω 2 }
Celles-ci sont simplement les entiers d'Eisenstein avec la
Valeur absolue égale à un.
Nombres premiers d'Eisenstein
Si
x et
y sont des entiers d'Eisenstein, nous disons que
x divise y s'il existe un certain entier d'Eisenstein
z tel que
y = z x .
Ceci étend la notion de Divisibilité des entiers ordinaires. Par conséquent, nous pouvons aussi étendre la notion de primalité. Un entier d'Eisenstein non-unitaire x est dit nombre premier d'Eisenstein si ses seuls diviseurs sont de la forme ux et u où u est l'une des six unités.
Il peut être montré qu'un Nombre premier ordinaire (ou nombre premier rationnel) qui est 3 ou congru à 1 mod 3 est de la forme x 2 - xy + y 2 pour certains entiers x,y et peut être par conséquent factorisé en (x + ω y)(x + ω 2 y) et à cause de ceci, n'est pas premier dans les entiers d'Eisenstein. Les nombres premiers ordinaires congrus à 2 mod 3 ne peuvent pas être factorisés de cette manière et sont premiers dans les entiers d'Eisenstein. Aussi, un nombre de la forme x 2 - xy + y 2 est un nombre premier rationnel ssi x + ω y est un nombre premier d'Eisenstein.
Anneau euclidien
L'anneau des entiers d'Eisenstein forme un
Anneau euclidien de norme
v égale à
v (a + ω b) = a 2 - a b + b 2
Ceci peut être déduit en intégrant les entiers d'Eisenstein dans les nombres complexes. Puisque
v (a + i b) = a 2 + b 2
et puisque
| a + ω b = | ( | a - | 1
––
2 | b | ) | + i | √3
–––
2 | b |
il s'ensuit que
| v (a + ω b) = | ( | a - | 1
––
2 | b | ) | 2 + | 3
––
4 | b 2 |
| = a 2 - a b + | 1
––
4 | b 2 + | 3
––
4 | b 2 = a 2 - a b + b 2 |
.
Voir aussi
Liens externes